1. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
2. Applied reconfigurable computing : architectures, tools, and applications :
پدیدآورنده : edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Adaptive computing systems, Congresses.,Computer architecture, Congresses.,Adaptive computing systems.,Artificial intelligence.,Computer architecture.,Computer hardware.,Computer networking & communications.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Image processing.,Software Engineering.
رده :
QA76
.
9
.
A3
3. Architecture and design of molecule logic gates and atom circuits :
پدیدآورنده : Nicolas Lorente, Christian Joachim.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic design -- Congresses.,Molecular electronics -- Congresses.,Molecular integrated circuits -- Congresses.
رده :
TK7874
.
8
N536
2013
4. Compound semiconductors 2004 :
پدیدآورنده : edited by Jong-Chun Woo [and four others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compound semiconductors, Congresses.,Semiconductors-- Materials, Congresses.,Compound semiconductors.,Semiconductors-- Materials.,TECHNOLOGY & ENGINEERING / Mechanical.
رده :
QC611
.
8
.
C64
5. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
6. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
7. Computer science -- theory and applications :
پدیدآورنده : René van Bevern, Gregory Kucherov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer science, Congresses.,Computer algorithms.,Computer science.
رده :
QA75
.
5
8. Developments in language theory :
پدیدآورنده : Marie-Pierre Béal, Olivier Carton (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Engineering & Applied Sciences.,Formal languages -- Congresses.,Formal languages.
رده :
QA267
.
3
M375
2013
9. Energy minimization methods in computer vision and pattern recognition :
پدیدآورنده : Marcello Pelillo, Edwin Hancock (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.
رده :
TA1634
.
E44
2017eb
10. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
11. From quarks to black holes :
پدیدآورنده : edited by Antonino Zichichi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gauge fields (Physics), Congresses.,Gluons, Congresses.,Quarks, Congresses.,Supersymmetry, Congresses.,Gauge fields (Physics),Gluons.,Quarks.,SCIENCE-- Physics-- Atomic & Molecular.,SCIENCE-- Physics-- Nuclear.,Supersymmetry.
رده :
QC793
.
5
.
Q252
I577
2003eb
12. From quarks to black holes :
پدیدآورنده : edited by Antonino Zichichi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gauge fields (Physics), Congresses.,Gluons, Congresses.,Quarks, Congresses.,Supersymmetry, Congresses.,Champs de jauge (Physique), Congrès.,Gluons, Congrès.,Quarks, Congrès.,Supersymétrie, Congrès.,Champs de jauge (physique)-- Congrès.,Gauge fields (Physics),Gluons.,Physique nucléaire-- Congrès.,Quarks.,Supersymétrie-- Congrès.,Supersymmetry.
رده :
QC793
.
5
.
Q252
I577
2005
13. Frontiers in electronic materials :
پدیدآورنده : edited by Joerg Heber [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronics -- Materials -- Congresses.,Molecular electronics -- Congresses.,Nanotechnology -- Congresses.
رده :
TK7871
.
E358
2012
14. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
15. Intelligent information and database systems :
پدیدآورنده : Ngoc Thanh Nguyen, Ford Lumban Gaol, Tzung-Pei Hong, Bogdan Trawiński (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Database management, Congresses.,Artificial intelligence.,Database management.
رده :
Q334
.
A85
2019
16. Intelligent information processing III
پدیدآورنده : Zhongzhi Shi, K. Shimohara, D. Feng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Database management, Congresses.,Expert systems (Computer science), Congresses.
17. International Conference on Computer Networks and Communication Technologies :
پدیدآورنده : S. Smys, Robert Bestak, Joy Iong-Zong Chen, Ivan Kotuliak, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Communications Engineering, Networks.,Information Systems Applications (incl. Internet).,Systems and Data Security.,Communications engineering-- telecommunications.,Computer networks.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information retrieval.
رده :
TK5105
.
5
18. Language and Automata Theory and Applications :
پدیدآورنده : Carlos Martín-Vide, Alexander Okhotin, Dana Shapira (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Formal languages.,Machine theory.,Mathematical linguistics.
رده :
QA267
.
L38
2019eb
19. Logic and philosophy of science in Uppsala :
پدیدآورنده : edited by Dag Prawitz, Dag Westerståhl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic -- Congresses.,Science -- Methodology -- Congresses.,Science -- Philosophy -- Congresses.
رده :
Q174
.
E358
1994
20. Logic, language, information, and computation :
پدیدآورنده : Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
W67
2013
